RedCoder: Automated Multi-Turn Red Teaming for Code LLMs
arxiv.org·6h
✓Automated Theorem Proving
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🔬Static Analysis
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Claude Code: My Most Trusted Coworker and My Worst Enemy
lopezb.com·4h·
Discuss: Hacker News, r/programming
🛡️seL4
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Coding Assistants Are the New Compilers
marmelab.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·6h
💻CS
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·6h
🛡️seL4
Formal specs as sets of behaviors
surfingcomplexity.blog·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔍Formal Verification
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·6h
🔬Static Analysis
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·18h·
Discuss: Hacker News, r/LocalLLaMA
🔄Reproducible Builds
Agentic Coding Things That Didn’t Work
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·20h·
Discuss: Hacker News
🧪Property-Based Testing
"Intelligenza Artificiale for Artificial Intelligence Research and Development"
news.ycombinator.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Contains Studio AI Agents
github.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·2d
🐫OCaml
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·8h·
Discuss: Hacker News
🌐NetworkProtocols
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·1d
🧱Immutable Infrastructure
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1h·
Discuss: Hacker News
➡️Category Theory